Skip to content

Update CI config#33

Merged
mromaszewicz merged 1 commit into
mainfrom
chore/ci
Jun 22, 2026
Merged

Update CI config#33
mromaszewicz merged 1 commit into
mainfrom
chore/ci

Conversation

@mromaszewicz

Copy link
Copy Markdown
Member

Pull in reusable actions, like the other repos do.

@mromaszewicz mromaszewicz requested a review from a team as a code owner June 22, 2026 14:39
@mromaszewicz mromaszewicz force-pushed the chore/ci branch 4 times, most recently from 04ccd77 to b24f327 Compare June 22, 2026 14:55
Update CI to be consistent with other repos.
@mromaszewicz mromaszewicz merged commit e4ef9c9 into main Jun 22, 2026
29 checks passed
@mromaszewicz mromaszewicz deleted the chore/ci branch June 22, 2026 15:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants